home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / brklyprl.lha / Emulator / Tests / Passed / test16.pl < prev    next >
Encoding:
Text File  |  1989-04-14  |  328 b   |  22 lines
  1.  
  2. /* Copyright (C) 1988, 1989 Herve' Touati, Aquarius Project, UC Berkeley */
  3.  
  4. main :-
  5.     write('ok?'), nl,
  6.     reduce((12 + 24) - 6 - 18, X),
  7.     a(X,Y),
  8.     write(Y), nl.
  9.  
  10. a(12,ok).
  11.  
  12. reduce(A+B,C) :-
  13.     reduce(A,A1),
  14.     reduce(B,B1),
  15.     C is A1 + B1.
  16. reduce(A-B,C) :-
  17.     reduce(A,A1),
  18.     reduce(B,B1),
  19.     C is A1 - B1.
  20. reduce(A,A) :- integer(A), !.
  21.  
  22.